Temporal Meta-Axioms in Logical Agents
نویسندگان
چکیده
This paper deals with run-time detection and possible correction of erroneous and/or anomalous behavior in agents defined in datalogor prologbased logic languages. In particular, we augment our previous approaches by allowing an agent to explicitly observe and record its past behavior so as to be able to decide its best actions, detect anomalous behavior and try to dynamically correct detected problems.
منابع مشابه
Self-checking Logical Agents
This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified via an agent-oriented interval temporal logic defined to this purpose, with fully defined syntax, semantics and pragmatics.
متن کاملRuntime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems
This paper deals with assurance of logical agent systems via runtime self-monitoring and checking. We adopt temporal-logic-based special constraints to be dynamically checked at a certain (customizable) frequency. These constraints are based upon a simple interval temporal logic particularly tailored to the agent realm, A-ILTL (‘Agent-Oriented Interval LTL’, LTL standing as customary for ‘Linea...
متن کاملA Logical Theory of Static Reasoning for Rational Agents
A formal language to describe mental states of rational agents is useful to specify the behavior of artiicial agents that are supposed to act intelligently and to help human beings in evaluating their reasoning about the external environment. This paper presents a multi-agent, propositional, temporal logic to describe the mental state of rational agents. The formal properties of beliefs and int...
متن کاملComputational Discovery of Ontology and Axioms for Geometry
Some preliminary research is presented in the present paper that aims toward the implementation of autonomous "geometrizing" creative agents. These agents will be able to discover the ontology and axioms of a discrete space that they live and move in exploring its geometric and causal structure with the purpose of facilitating their motion in it. Faculties such as meta-cognition and answering q...
متن کاملDefining and Maintaining Agent's Experience in Logical Agents
In this paper, we extend our previous approach to memory in the DALI language from facts to (sets of) rules, and we extend their management by introducing operators for reasoning about the context and agent is involved in, and about modules that should be associated to that context in the working memory. We exploit and extend our past work where we introduced meta-axioms for run-time self-check...
متن کامل